![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日](/simg/7/7ed82158ba046f00ba0191459667c998cf66c006.webp)
机构名称：
¥ 1.0
诸如三重模块冗余之类的冗余机制通过复制来保护安全关键组件，从而提高系统的容错能力。然而，获得容错能力需要投入成本，例如增加执行时间、能耗或封装尺寸，因此在系统设计期间必须遵守这些约束。这使得寻找合适的组件组合的问题成为一项具有挑战性的任务，因为可能的保护组合数量会随着组件数量的增加而呈指数增长。我们提出了基于系列的方法来解决冗余系统建模和分析阶段的组合爆炸问题。基于在 S IMULINK 中设计的系统，我们展示了如何获得包含所有可能保护组合的模型，并提出了一个工具链，该工具链在给定概率误差模型的情况下生成离散马尔可夫链系列。使用能够实现简洁系列表示和分析的符号技术，我们展示了如何通过单个基于系列的分析运行来保护和分析实际大小的 S IMULINK 模型，而对每个保护组合进行逐一分析显然会超出任何实际时间限制。
arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日
主要关键词
![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日PDF文件第1页](/bimg/8/8dfccf1981c2720b85fb201b104587d12c345fc1.webp)
![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日PDF文件第2页](/bimg/e/e16655e94313f6188a135143984e47e7421f15ce.webp)
![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日PDF文件第3页](/bimg/b/b73fc87f7cea0ed1a32f393d0e80d87759372a11.webp)
![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日PDF文件第4页](/bimg/3/3d83d29cb30dc234786890d4434cbe53de833f3c.webp)
![arXiv:1912.05364v1 [eess.SY] 2019 年 12 月 11 日PDF文件第5页](/bimg/8/80255d052a3e26d66ef98df466f5200a20bf3960.webp)
相关文件推荐
![arXiv:2209.00552v2 [eess.SY] 2022 年 11 月 9 日](/simg/a/ad501ca2400f80a04ec171a96cc0f82c991ef29c.webp)
![arXiv:2012.06161v1 [cs.AI] 2020 年 12 月 11 日](/simg/b/bddc06e536b81a9df9a4004ca484f1eb3a058c51.png)
![arXiv:2004.02730v2 [eess.SY] 2020 年 10 月 2 日](/simg/d/daf0cca9d89fed4d586eb67003133c1bb4c4d11e.webp)
![arXiv:1810.02455v2 [cs.RO] 2019 年 3 月 1 日](/simg/7/763a8b44196a9bef96a30b09810486f99c1f2ff0.webp)
![arXiv:2012.04751v1 [cs.AI] 2020 年 12 月 8 日](/simg/d/d79fcfcc45e02ffb39761aa68ec1a53a8b28568d.png)
![arXiv:2109.08006v3 [cs.AI] 2021 年 11 月 5 日](/simg/4/4fcb830248cd3f99a25326b2b1663ac275ee39f0.png)
![arXiv:2103.06769v1 [cs.AI] 2021 年 3 月 11 日](/simg/2/2f4d12dbbeb215138cd3f636a30cb61579429c5b.png)
![arXiv:2209.06317v3 [cs.AI] 2024 年 12 月 4 日](/simg/6/638e631b8ee0b06487fb0006a9b4e6735f567db1.png)
![arXiv:2305.17886v2 [cs.AI] 2023 年 12 月 1 日](/simg/6/6173fbce9e78294b00441bf26f262e6aabf0474b.png)
![arXiv:2207.05643v1 [cs.RO] 2022 年 7 月 12 日](/simg/9/914a0980453c8245d7338c340cfcc7abaab03a7a.webp)
![arXiv:2003.05823v1 [cs.RO] 2020 年 3 月 12 日](/simg/c/cf9e39bb81ef86eb692012c7befa2c3c970b4e31.webp)